Obsidian Vault
Matematika
Afino preslikavanje
Afino preslikavanje u prostoru
Afino preslikavanje u ravni
Algebarska struktura
Algebra nad poljem
Analitička geometrija u prostoru
Analitička geometrija u ravni
Analiza
Aritmetička i geometrijska progresija
Asimptota
Asimptotske klase. Asimptotska relacija ekvivalencije
Beskonačnodimenzioni Euklidski prostor. Niz i red vektora
Bezijeove krive
Bilinearna i kvadratna forma
Binomna formula
Binomni koeficijenti
Broj e
Brojevi
Brojevni red
Bulova algebra
Celi brojevi
Centar mase i težište
Dejstvo grupe
Deljivost
Determinanta
Diferencijabilnost funkcije više promenljivih
Diferencijalna jednačina
Diofantova jednačina
Direktan proizvod grupa
Direktna i inverzna slika skupa
Dvostruki integral
Ekstremum funkcije jedne promenljive
Ekstremum funkcije više promenljivih
Ekvivalentne formule
Elementarna matematika
Elipsa
Euklidov algoritam
Euklidsko deljenje
Fibonačijevi i Lukasovi brojevi. Zlatna podela
Formula uključenja-isključenja
Funkcija
Funkcija generatrisa
Funkcionalni red
Furijeov red u prostoru C₀
Gama funkcija i beta funkcija
Geometrija
Grafik funkcije (jedne promenljive)
Gramova matrica
Grupa
Grupa permutacija
Hiperbola
Homomorfizam grupa
Integracija nekih iracionalnih funkcija
Integracija racionalnih funkcija
Integracija racionalnih funkcija od sinusa i kosinusa
Integralna veza skupa i njegove granice
Inverzna funkcija
Inverzna matrica
Iskazna logika
Izbor elemenata
Izvod funkcije jedne promenljive
Karakteristična funkcija
Karakteristični i minimalni polinom
Kardinalnost. Prebrojivost
Kombinatorika
Kompozicija funkcija
Kompozicija i particija broja
Komutativan prsten sa jedinicom
Konačno generisana Abelova grupa
Kongruentnost
Konveksnost i konkavnost
Konvergencija nekih brojevnih redova
Konzervativno vektorsko polje
Koordinatizacija. Zavisnost koordinata vektora o bazi
Košijev niz
Kriterijumi konvergencije brojevnih redova
Kriterijumi konvergencije nesvojstvenih integrala
Kriva i površ
Krive drugog reda
Krivolinijski integral
Krug
Kvadratna matrica
Kvaternion
Limes funkcije jedne promenljive
Limes i neprekidnost funkcije više promenljivih
Limes niza
Linearna algebra
Linearna zavisnost i nezavisnost. Skup generatora, baza i dimenzija VP-a
Linearni funkcional
Linearni operator
Linearni operator u unitarnom prostoru
Logička funkcija
Logičke operacije
Logika
Lopitalova pravila
Matematička indukcija
Matematika
Matrica
Matrica linearnog operatora
Matrica relacije
Metode integracije (neodređeni integral)
Metode integracije (određeni integral)
Metrika
Minimalizacija logičkih izraza
Multinomna formula
Neodređeni integral
Neprekidnost funkcije jedne promenljive
Neprekidnost osnovnih funkcija
Nesvojstveni integral
Niz brojeva
Niz funkcija
Niz n-torki realnih brojeva
Normalne forme
Normalne podgrupe
Određeni integral
Okolina tačke
Osnovni limesi
Ostrva (iskazna logika)
Parabola
Parcijalni izvod
Particija skupa
Podnizovi
Potprostor. Operacije nad potprostorima
Površi drugog reda
Površinski integral
Prebrojavanja
Predikatska logika
Prekidi
Primene određenog integrala
Prirodni brojevi
Projektovanje vektora i skalarni proizvod vektora
Prost broj
Prostor C₀
Rang matrice. Elementarne transformacije
Realni brojevi
Red grupe i elementa. Indeks podgrupe
Redukcija linearnog operatora
Rekurentna jednačina
Relacija
Relacija ekvivalencije
Relacija poretka
Reper. Koordinate vektora i tačke
Riman-integrabilnost funkcija i svojstva određenog integrala
Sistem linearnih jednačina
Skup
Skup n-torki realnih brojeva
Slika i jezgro, rang i defekt linearnog operatora. Regularni operator
Stepeni red
Svojstva ravnomerno konvergentnih funkcionalnih redova
Tautologija
Tejlorov polinom funkcije jedne promenljive
Tejlorov polinom funkcije više promenljivih
Teoreme o srednjoj vrednosti
Trostruki integral
Unitarni prostor. Euklidski prostor
Valuacija (iskazna logika)
Vektor
Vektorska funkcija
Vektorski i mešoviti proizvod vektora
Vektorski prostor
Veza između određenog integrala i izvoda. Njutn-Lajbnicova formula
Vrste tačaka u odnosu na neki skup. Ograničenost i kompaktnost
Home

Predikatska logika

#fax #math #ds1 [deo logike]

predik1.pngpredik2.pngpredik3.pngpredik4.pngpredik5.pngpredik6.png

Table Of Contents
Predikatska logika